Stratified Static Analysis Based on Variable Dependencies
نویسندگان
چکیده
In static analysis by abstract interpretation, one often uses widening operators in order to enforce convergence within finite time to an inductive invariant. Certain widening operators, including the classical one over finite polyhedra, exhibit an unintuitive behavior: analyzing the program over a subset of its variables may lead a more precise result than analyzing the original program! In this article, we present simple workarounds for such behavior.
منابع مشابه
Application of static analyses for state-space reduction to the microcontroller binary code
This article describes the application of two abstraction techniques, namely dead variable reduction and path reduction, to microcontroller binary code in order to tackle the state-explosion problem in model checking. These abstraction techniques are based on static analyses, which have to cope with the peculiarities of binary code such as hardware dependencies, interrupts, recursion, and globa...
متن کاملHidden Dependencies in Program Comprehension and Change Propagation
Large software systems are difficult to understand and maintain. Program dependency analysis plays a key role in both understanding and maintenance. This paper discusses hidden dependencies among software components that make both understanding and maintenance hard. Hidden dependency is a relationship between two seemingly independent components and it is caused by a data flow inside of a third...
متن کاملThree dimensional static and dynamic analysis of thick plates by the meshless local Petrov-Galerkin (MLPG) method under different loading conditions
In this paper, three dimensional (3D) static and dynamic analysis of thick plates based on the Meshless Local Petrov-Galerkin (MLPG) is presented. Using the kinematics of a three-dimensional continuum, the local weak form of the equilibrium equations is derived. A weak formulation for the set of governing equations is transformed into local integral equations on local sub-domains by using a uni...
متن کاملComprehensive Electromechanical Analysis of MEMS Variable Gap Capacitors
This paper presents a comprehensive case study on electro-mechanical analysis of MEMS[1] variable capacitors. Using the fundamental mechanical and electrical equations, static and dynamic behaviors of the device are studied. The analysis is done for three different modes, namely: dc (static mode), small signal ac and large signal regime. A complete set of equations defining dynamic behavior of ...
متن کاملThe Effects of Carbon Nanotube Orientation and Aggregation on Static Behavior of Functionally Graded Nanocomposite Cylinders
In this paper, the effects of carbon nanotube (CNT) orientation and aggregation on the static behavior of functionally graded nanocomposite cylinders reinforced by CNTs are investigated based on a mesh-free method. The used nanocomposites are made of the straight CNTs that are embedded in an isotropic polymer as matrix. The straight CNTs are oriented, randomly or aligned or local aggregated int...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 288 شماره
صفحات -
تاریخ انتشار 2012